1. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
2. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
3. Automated theorem proving in software engineering
پدیدآورنده : Schumann, Johann M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Software engineering,، Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
4. Automated theorem proving in software engineering
پدیدآورنده : Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001
